US$12 billion